大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Micro 的图书(共9047本)

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Ku艧adasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Dikenelli、 O臒uz.、Gleizes、 Marie-Pierre.、Ricci、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

0
索取号：
作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

0
索取号：
作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

0
索取号：
作者：Koucheryavy、 Yevgeni.、Harju、 Jarmo.、Iversen、 Villy B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

0
索取号：
作者：Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

0
索取号：
作者：Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

0
索取号：
作者：Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science-ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

0
索取号：
作者：Alexandrov、 Vassil N.、Albada、 Geert Dick.、Sloot、 Peter M. A.、Dongarra、 Jack.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

0
索取号：
作者：Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings

0
索取号：
作者：St酶len、 Ketil.、Winsborough、 William H.、Martinelli、 Fabio.、Massacci、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

0
索取号：
作者：IJsselsteijn、 Wijnand A.、Kort、 Yvonne A. W.、Midden、 Cees.、Eggen、 Berry.、Hoven、 Elise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

0
索取号：
作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、Wernick、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号：
作者：Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院